⬌ Bidirectional Typing - matmat · Scour

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 🦀Rust Verification

arxiv.org·2d·

Mix-and-match synthesis of 3D small molecules 🌈Spectroscopy

nature.com

·11h·Hacker News·

Runtime type checking is great (2023) 🎯Gradual Typing

blog.jez.io·2d·Lobsters·

The Synthesis Problem: Why I’m Building a New Logic Toolchain ⚙️Logic Synthesis

llama.gs·6d·Hacker News·

The Case Against Text Prompts for AI Sound Generation 🎙️Whisper

hackernoon.com·1d·

Shape-Invariant Transforms Using Wide-Band Voice Pulse Modeling 🎧Learned Audio

queuesevenm.wordpress.com·2d·Hacker News, r/SideProject·

Vowel Synthesis (with vowel space proposed by Dr. Geoff Lindsey) 🗣️CMU Pronouncing

editor.p5js.org·3d·

ericlewis/libpo32: C99 library for PO-32 acoustic transfers and drum synthesis. 🎹MIDI Archaeology

github.com·5d·Hacker News·

A Controller Synthesis Framework for Weakly-Hard Control Systems ✨Algebraic Effects

arxiv.org·2d·

yogirk/agent-council: A skill that convenes a panel of CLI-based AI agents (Claude Code, Codex, Gemini CLI) to deliberate on engineering problems through structured multi-stage discussion, peer review, and synthesis ⚡Proof Automation

github.com·3d·Hacker News·

Amalgam: Hybrid LLM-PGM Synthesis Algorithm for Accuracy and Realism 💻Local LLMs

arxiv.org·2d·

Algo P\"art: An Algorithmic Reconstruction of Arvo P\"art's Summa 🎯Performance Proofs

arxiv.org·2d·

Self-evolving AI agents for protein discovery and directed evolution ⚡Incremental Computation

arxiv.org·2d·

ReSyn: A Generalized Recursive Regular Expression Synthesis Framework 🔍RegEx Engines

arxiv.org·6d·

Marco DeepResearch: Unlocking Efficient Deep Research Agents via Verification-Centric Design 🧮Z3 Solver

arxiv.org·2d·

AXON: An Automated Netlist Optimization Framework for High-Speed Adders 📼Cassette Combinators

arxiv.org·2d·

Structure, Analysis, and Synthesis of First-Order Algorithms 🎯Performance Proofs

arxiv.org·6d·

Story2Proposal: A Scaffold for Structured Scientific Paper Writing 📋Document Grammar

arxiv.org·2d·

SEVerA: Verified Synthesis of Self-Evolving Agents 🧮Z3 Solver

arxiv.org·6d·

Loading more...